Wyniki
-
A tableau system for positive relevant implication
Michael A. Mc Robbie
Bulletin of the Section of Logic , 6 /3 (1977) -
Extended Frege and Gaussian Elimination
Michael Sołtys
Bulletin of the Section of Logic , 31 /4 (2002) s. 189-205 -
Proof tableau formulations of some first-order relevant ortho-logics
Michael A. McRobbie, Nuel D. Belnap
Bulletin of the Section of Logic , 13 /4 (1984) s. 233-239 -
Incompleteness of the bibinary semantics for R
J. Michael Dunn
Bulletin of the Section of Logic , 16 /3 (1987) s. 107-110 -
A mechanized decision procedure for non-classical logics: The program KRIPKE
Michael A. McRobbie, Paul B. Thistlewaite, Robert K. Meyer
Bulletin of the Section of Logic , 9 /4 (1980) s. 189-192 -
Boolean Programs and Quantified Propositional Proof Systems
Stephen Cook, Michael Sołtys
Bulletin of the Section of Logic , 28 /3 (1999) s. 119-129 -
Remarks on Hertz Algebras and Implicative Semilattices
A. Figallo, A. Ziliani
Bulletin of the Section of Logic , 34 /1 (2005) s. 37-42 -
An absolute first order predicte calculus
Vladimir A. Smirnov
Bulletin of the Section of Logic , 2 /1 (1973) s. 38-43 -
On the metamathematics of ordinal arithmetics
E. A. Sonenberg
Bulletin of the Section of Logic , 6 /3 (1977) -
A natural deduction relevance logic
Frederic A. Johnson
Bulletin of the Section of Logic , 6 /4 (1977) s. 164-170 -
Internal and external logic
Vladimir A. Smirnov
Bulletin of the Section of Logic , 17 /3-4 (1988) s. 170-181 -
Operators on branched quantifiers
Mark A. Brown
Bulletin of the Section of Logic , 20 /3-4 (1991) s. 83-84 -
Some remarks on definable quantifiers
Aleksandre A. Ivanov
Bulletin of the Section of Logic , 20 /3-4 (1991) s. 107 -
A Note on Nuclei of Quantale Algebras
Sergey A. Solovyov
Bulletin of the Section of Logic , 40 /1-2 (2011) s. 91-112 -
PC-lattices: A Class of Bounded BCK-algebras
Khosravi Shoar, R. A. Borzooei, R. Moradian, A. Radfar
Bulletin of the Section of Logic , 47 /1 (2018) s. 33-44 -
On Axiomatic Products of PDL and S5: Substitution, Tests and Knowledge
Renate A. Schmidt, Dmitry Tishkovsky
Bulletin of the Section of Logic , 31 /1 (2002) s. 27-36 -
On the Injectivity of the Leibniz Operator
L. Descalco, Manuel A. Martins
Bulletin of the Section of Logic , 34 /4 (2005) s. 203-211 -
Admissible Equivalence Systems
Sergey Babenyshev, Manuel A. Martins
Bulletin of the Section of Logic , 39 /1-2 (2010) s. 17-33 -
Weak Implication on Generalized Łukasiewicz Algebras of Order n
A.V. Figallo, C. Gallardo, A. Ziliani
Bulletin of the Section of Logic , 39 /3-4 (2010) s. 187-198 -
On Injective MV-Modules
S. Saidi Goraghani, R. A. Borzooei
Bulletin of the Section of Logic , 47 /4 (2018) s. 283-298